Higher-order functions - PDFSEARCH.IO - Document Search Engine

Higher-order functions
Results: 290

#	Item
101	Folding Domain-Specific Languages: Deep and Shallow Embeddings (Functional Pearl) Jeremy Gibbons Nicolas Wu Add to Reading List Source URL: www.cs.ox.ac.uk Language: English - Date: 2014-07-22 11:18:20 Higher-order functions Functions and mappings Category theory General topology Functors Fold Monad Map Functor Mathematics Topology Abstract algebra
102	Towards practical incremental recomputation for scientists: An implementation for the Python language Philip J. Guo and Dawson Engler Stanford University Abstract Add to Reading List Source URL: pgbovine.net Language: English - Date: 2014-01-03 23:24:44 Higher-order functions Subroutines Computer performance Memoization Software optimization Fold Map Eval Python Computing Software engineering Computer programming
103	Specialization through Dynamic Staging Piotr Danilewski1,2 Marcel Köster1 Roland Leißa1 1,2,3 Richard Membarth Add to Reading List Source URL: graphics.cg.uni-saarland.de Language: English - Date: 2014-08-19 12:57:10 Functional programming Lambda calculus Subroutines Higher-order functions Continuation-passing style Continuations Anonymous function Parameter Monad Software engineering Declarative programming Computer programming
104	JQueryCheatSheetxls Add to Reading List Source URL: javascripttoolbox.com Language: English - Date: 2009-05-07 11:28:12 Ajax Computer programming Formal languages Map Attribute grammar Filter Foobar JSON JQuery Software engineering Computing Higher-order functions
105	Equational Reasoning about Programs with General Recursion and Call-by-value Semantics Garrin Kimmell Aaron Stump Add to Reading List Source URL: www.seas.upenn.edu Language: English - Date: 2014-07-10 05:47:16 Logic in computer science Mathematical logic Type theory Dependently typed programming Higher-order functions Append Curry–Howard correspondence Curry Structural induction Software engineering Computing Computer programming
106	Higher-Order and Symbolic Computation manuscript No. (will be inserted by the editor) A verified framework for higher-order uncurrying optimizations Zaynah Dargaye · Xavier Leroy Add to Reading List Source URL: pauillac.inria.fr Language: English - Date: 2009-12-15 04:00:36 Mathematics Functional programming Functions and mappings Currying Partial application Symbol Function Combinatory logic De Bruijn index Declarative programming Lambda calculus Software engineering
107	Parallel Processing Letters cfWorld Scientific Publishing Company AUTOMATIC SKELETONS IN TEMPLATE HASKELL Kevin Hammond∗ Add to Reading List Source URL: www.mathematik.uni-marburg.de Language: English - Date: 2012-06-14 04:34:48 Functional languages Higher-order functions Generic programming Algorithmic skeleton Threads Haskell Map Parallel computing NPES Computing Software engineering Computer programming
108	1 2 Implementing Semantic Theories Add to Reading List Source URL: homepages.cwi.nl Language: English - Date: 2014-12-01 04:07:07 Literate programming Functional languages Higher-order functions Models of computation Logic programming Unification Lambda calculus Prolog Haskell Software engineering Computing Computer programming
109	Delimited Control in OCaml, Abstractly and Concretely Oleg Kiselyov Monterey, CA, U.S.A. Abstract Add to Reading List Source URL: okmij.org Language: English - Date: 2012-02-29 20:58:06 Functional languages Control flow Procedural programming languages Higher-order functions Cross-platform software OCaml Caml Delimited continuation Continuation Software engineering Computing Computer programming
110	JQueryCheatSheetxls Add to Reading List Source URL: javascripttoolbox.com Language: English - Date: 2009-05-07 16:32:47 Formal languages Parsing Map Attribute grammar Expr JSONP Find Filter HTML element Computing Software engineering Higher-order functions